package com.googlecode.kipler.satisfiability.completion.rule.individual.uniformnotation;

import com.googlecode.kipler.syntax.concept.Concept;

public interface BetaConcept {
	void setBeta(Concept con);
	Concept getBeta();
	Concept getBeta1();
	Concept getBeta2();
	boolean isValid();
}
